ViCoLL - a Visual Compositional Logic Language
نویسندگان
چکیده
CombiLog is a logic programming language that uses a small set of basic operators to build larger structures. Although the programs are built strictly through composition, the resulting code is often difficult to read and understand. Empirical studies on program creation both with VPL and traditional programming indicate that visual approaches may outperform traditional approaches to programming. Thus, CombiLog could gain largely from a visual interface to support the development process. With a visual interface the resulting system can be regarded as a declarative Visual Logic Programming language, ViColl.
منابع مشابه
A Visual System for Compositional Relational Programming
Combilog is a compositional relational programming language that allows writing relational logic programs by functionally composing relational predicates. Higraphs, a diagram formalism is consulted to simplify some of the textual complexity of compositional relational programming to achieve a visual system that can represent these declarative meta-programs, with the final intention to design an...
متن کاملA Social Semiotic Analysis of Social Actors in English-Learning Software Applications
This study drew upon Kress and Van Leeuwen’s (2006, [1996]) visual grammar and Van Leeuwen’s (2008) social semiotic model to interrogate ways through which social actors of different races are visually and textually represented in four award-winning English-learning software packages. The analysis was based on narrative actional/reactional processes at the ideational level; mood, perspective, ...
متن کاملStateClock: a Tool for Timed Reactive Modules
We provide an overview of the compositional specification and verification tool StateClock using temporal logic and timed object-based visual system descriptions. Verification of the system is performed module by module using model-checking and theorem proving.
متن کاملA Critical Visual Analysis of Gender Representation of ELT Materials from a Multimodal Perspective
This content analysis study, employing a multimodal perspective and critical visual analysis, set out to analyze gender representations in Top Notch series, one of the highly used ELT textbooks in Iran. For this purpose, six images were selected from these series and analyzed in terms of ‘representational’, ‘interactive’ and ‘compositional’ modes of meanings. The result indicated that there are...
متن کاملCompositional Graphs
In many applications, graphs are a natural representation for the structure of a problem domain. Since functional languages supports only (tree-structured) algebraic datatypes, there are various ways to represent graphs in declarative languages. In this paper we describe a representation of graphs in a functional logic language. Our representation is compositional as lists or tree structures ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001